Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
521	INFINITE GRAPHS GENERATED BY TREE REWRITING Von der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Graph Deterministic pushdown automaton Nested word Graph theory Mathematics Theoretical computer science
522	Monday August 24th 9:[removed]:00 Albert Atserias: Four subareas of the theory of constraints, and their links (invited talk) 10:[removed]:30 coffee break Add to Reading List Source URL: www.mfcs.sk Language: English - Date: 2009-08-10 08:22:15 Applied mathematics Graph theory Graph coloring Cellular automaton Nested word Computability Theoretical computer science Mathematics Automata theory
523	Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Automata theory Models of computation Finite-state machine
524	strategy_machines_technical.dvi Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 09:56:47 Computability theory Computer science Formal methods Turing machine Linear temporal logic Mealy machine Determinacy Models of computation Theory of computation Theoretical computer science
525	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling
526	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
527	Variety, Pattern and Isomorphism Dave Burraston Creativity and Cognition Studios (CCS) Faculty of Information Technology University of Technology, Sydney Australia Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Cellular automaton Chaos theory Science Systems science Complex systems Self-organization Seeds Attractor Structure Cybernetics Systems theory Cellular automata
528	Computational Characterizations of Vowel Harmony Patterns and Pathologies Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:20 Vowels Finite state transducer Phonetics Vowel harmony Finite-state machine Yoruba language Mongolian language Vowel Advanced and retracted tongue root Linguistics Automata theory Models of computation
529	Constructions and Algorithms for ω -Automata ¨ Christof Loding RWTH Aachen University, Germany Workshop Automaten und Logik“ beim Theorietag Automaten Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Büchi automaton Computer science Automata theory Theoretical computer science Formal methods
530	RegViz: Visual Debugging of Regular Expressions Fabian Beck1 , Stefan Gulan2 , Benjamin Biegel2 , Sebastian Baltes2 , and Daniel Weiskopf1 2 1 Add to Reading List Source URL: regviz.org Language: English - Date: 2014-05-25 09:43:47 Computer programming Formal languages Regular expressions Parsing Automata theory RegexBuddy JavaScript Lookahead TRE Pattern matching Computing Software engineering

UPDATE